package logique.solveur;

import logique.programme.ProgrammeLineaire;
import logique.solution.Solution;
import logique.solution.Variable;

public interface Solveur {

	abstract public Solution resoudreProgramme(ProgrammeLineaire p, boolean initial);

	public void addVariableEntiere(Variable v);

	public void addVariableReelle(Variable v);

	public void addContraintes();
}